$\forall$$i$, $j$, $n$:Id. (link $n$ from $i$ to $j$) $\in$ IdLnk